结论寻找程序consequence: n. 1.结果,成果,影响,后果;【数学】后承;【逻辑学 ...finding: n. 1.发现;发现的东西。 2.〔 pl.〕结论;研究 ...pattern-finding program: 模式查找程序proof finding program: 证明寻找程序a in consequence of: 因为...缘故下载手机词典可随时随地查词查翻译